методология тестирования на наличие/отсутствие ошибок/дефектов

Programming: (типичных) fault-based techniques (в ПО)